A consensus sequence for the Rhodospirillaceae SOS operators
نویسندگان
چکیده
منابع مشابه
SOS Rule Formats for Idempotent Terms and Idempotent Unary Operators
A unary operator f is idempotent if the equation f(x) = f(f(x)) holds. On the other end, an element a of an algebra is said to be an idempotent for a binary operator if a = a a. This paper presents a rule format for Structural Operational Semantics that guarantees that a unary operator be idempotent modulo bisimilarity. The proposed rule format relies on a companion one ensuring that certain te...
متن کاملThe “Eve” Mitochondrial Consensus Sequence
We have calculated the consensus sequence for human mitochondrial DNA using over 800 available sequences. Analysis of this consensus reveals an unexpected lack of diversity within human mtDNA worldwide. Not only is more than 83% of the mitochondrial genome invariant, but in over 99% of the variable positions, the majority allele was found in at least 90% of the individuals. In the remaining 0.2...
متن کاملA new sequence space and norm of certain matrix operators on this space
In the present paper, we introduce the sequence space [{l_p}(E,Delta) = left{ x = (x_n)_{n = 1}^infty : sum_{n = 1}^infty left| sum_{j in {E_n}} x_j - sum_{j in E_{n + 1}} x_jright| ^p < infty right},] where $E=(E_n)$ is a partition of finite subsets of the positive integers and $pge 1$. We investigate its topological properties and inclusion relations. Moreover, we consider the problem of fin...
متن کاملSOS Specifications of Probabilistic Systems by Uniformly Continuous Operators
Compositional reasoning over probabilistic systems wrt. behavioral metric semantics requires the language operators to be uniformly continuous. We study which SOS specifications define uniformly continuous operators wrt. bisimulation metric semantics. We propose an expressive specification format that allows us to specify operators of any given modulus of continuity. Moreover, we provide a meth...
متن کاملdeveloping a pattern based on speech acts and language functions for developing materials for the course “ the study of islamic texts translation”
هدف پژوهش حاضر ارائه ی الگویی بر اساس کنش گفتار و کارکرد زبان برای تدوین مطالب درس "بررسی آثار ترجمه شده ی اسلامی" می باشد. در الگوی جدید، جهت تدوین مطالب بهتر و جذاب تر، بر خلاف کتاب-های موجود، از مدل های سطوح گفتارِ آستین (1962)، گروه بندی عملکردهای گفتارِ سرل (1976) و کارکرد زبانیِ هالیدی (1978) بهره جسته شده است. برای این منظور، 57 آیه ی شریفه، به صورت تصادفی از بخش-های مختلف قرآن انتخاب گردید...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: FEMS Microbiology Letters
سال: 1999
ISSN: 0378-1097,1574-6968
DOI: 10.1111/j.1574-6968.1999.tb13409.x